| 翻訳と辞書 |
Exotic R4
In mathematics, an exotic R4 is a differentiable manifold that is homeomorphic but not diffeomorphic to the Euclidean space R4. The first examples were found in 1982 by Michael Freedman and others, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds.〔Kirby (1989), p. 95〕〔Freedman and Quinn (1990), p. 122〕 There is a continuum of non-diffeomorphic differentiable structures of R4, as was shown first by Clifford Taubes.〔Taubes (1987), Theorem 1.1〕
Prior to this construction, non-diffeomorphic smooth structures on spheres — exotic spheres — were already known to exist, although the question of the existence of such structures for the particular case of the 4-sphere remained open (and still remains open as of 2014). For any positive integer ''n'' other than 4, there are no exotic smooth structures on R''n''; in other words, if ''n'' ≠ 4 then any smooth manifold homeomorphic to R''n'' is diffeomorphic to R''n''.〔Stallings (1962), in particular Corollary 5.2〕
==Small exotic R4s==
An exotic R4 is called small if it can be smoothly embedded as an open subset of the standard R4.
Small exotic R4s can be constructed by starting with a non-trivial smooth 5-dimensional ''h''-cobordism (which exists by Donaldson's proof that the ''h''-cobordism theorem fails in this dimension) and using Freedman's theorem that the topological h-cobordism theorem holds in this dimension.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Exotic R4」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|